First-order temporal logic
[计] 一组时态逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
temporal
['tɛmpərəl]
adj. 时间的;世俗的;暂存的;<语>表示时间的;
n. 暂存的事物，世间的事物;世俗的权力;一时的事物，俗事;
tempor时间+al形容词后缀→ 现世的；暂时的
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
A special place for special people.
这是为特殊人物而设的特别地方。
As far as I'm concerned, you can stay out all night.
对我来说，你可以整晚都在外面。
There are many Chinese take-aways in English and in the USA and in Australia,too.
在英国与美国有很多中式方便食品--在澳大利亚也有。